Dagstuhl Seminar 15441 Duality in Computer

This report documents the programme and outcomes of Dagstuhl Seminar 15441 ‘Duality in Computer Science’. This seminar served as a follow-up seminar to the seminar ‘Duality in Computer Science’ (Dagstuhl Seminar 13311). In this seminar, we focused on applications of duality to semantics for probability in computation, to algebra and coalgebra, and on applications in complexity theory. A key objective of this seminar was to bring together researchers from these communities within computer science as well as from mathematics with the goal of uncovering commonalities, forging new collaborations, and sharing tools and techniques between areas based on their common use of topological methods and duality. Seminar October 25–30, 2015 – http://www.dagstuhl.de/15441 1998 ACM Subject Classification F.1.1 Models of Computation, F.3.2 Semantics of Programming Languages, F.4.1 Mathematical Logic, F.4.3 Formal Languages